Hermes, Hans. author's books list

No.TitlePublish Year
1.Introduction to Mathematical Logic [electronic resource]1973
2.Eine Termlogik mit Auswahloperator [electronic resource]1965
3.Enumerability ยท Decidability Computability [electronic resource] : An Introduction to the Theory of Recursive Functions1969
4.Enumerability ยท Decidability Computability [electronic resource] : An Introduction to the Theory of Recursive Functions1965